type T = string & | number | boolean
